Check-System für die Datensicherheit = Checking system for data safetyRICHTER, H.-J.Gummi, Fasern, Kunststoffe. 1989, Vol 42, Num 9, pp 418-425, issn 0176-1625, 5 p.Article

Verifying the equivalence of logic programs in the disjunctive caseOIKARINEN, Emilia; JANHUNEN, Tomi.Lecture notes in computer science. 2004, pp 180-193, issn 0302-9743, isbn 3-540-20721-X, 14 p.Conference Paper

Safety perspectivesHARTFORD, D.International water power & dam construction. 1997, Vol 49, Num 2, pp 29-30, issn 0306-400XArticle

«MORGAT»: a data processing program for testing transmission line protective relaysBORNARD, P; ERHARD, P; FAUQUEMBERGUE, P et al.IEEE transactions on power delivery. 1988, Vol 3, Num 4, pp 1419-1426, issn 0885-8977, 8 p.Conference Paper

Model checking multi-agent programs with CASPBORDINI, Rafael H; FISHER, Michael; PARDAVILA, Carmen et al.Lecture notes in computer science. 2003, pp 110-113, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

Checking spelling in source codeHUGHES, Elliott.ACM SIGPLAN notices. 2004, Vol 39, Num 12, pp 32-38, issn 1523-2867, 7 p.Article

How to plan a control chart programJAEHN, A. H.Tappi journal. 1991, Vol 74, Num 9, pp 299-301, issn 0734-1415Article

Development of continuous ship unloader simulator to inspect control unitsHAYASHI, T.Ishikawajima-Harima Giho. 1995, Vol 35, Num 6, pp 427-430, issn 0578-7904Article

Demande controlled ventilation by room CO² concentration : a comparison of simulated energy savings in an auditorium spaceWARREN, B. F; HARPER, N. C.Energy and buildings. 1991, Vol 17, Num 2, pp 87-96, issn 0378-7788Article

Monitoring and study program of an inter-regional wastewater reclamation system for agricultureREBHUN, M; RONEN, D; EREN, J et al.Journal - Water Pollution Control Federation. 1987, Vol 59, Num 5, pp 242-248, issn 0043-1303Article

JNuke: Efficient dynamic analysis for JavaARTHO, Cyrille; SCHUPPAN, Viktor; BIERE, Annin et al.Lecture notes in computer science. 2004, pp 462-465, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Accelerated measles control in the western Pacific regionMCFARLAND, Jeffrey W; MANSOOR, Osman David; BAOPING YANG et al.The Journal of infectious diseases. 2003, Vol 187, pp S246-S251, issn 0022-1899, SUP1Article

Efficient type inference for record concatenation and subtypingPALSBERG, Jens; TIAN ZHAO.Proceedings - Symposium on Logic in Computer Science. 2002, pp 125-136, issn 1043-6871, isbn 0-7695-1483-9, 12 p.Conference Paper

Automated refinement checking for asynchronous processesALUR, Rajeev; GROSU, Radu; WANG, Bow-Yaw et al.Lecture notes in computer science. 2000, pp 55-72, issn 0302-9743, isbn 3-540-41219-0Conference Paper

The role of the corrosion engineer in the development and application of risk-based inspection for plant equipmentHORVATH, R. I.Materials performance. 1998, Vol 37, Num 7, pp 70-75, issn 0094-1492Article

Issues on newly introduced accredited Checker's system in Singapore practiceWAI FAN WONG.Journal of professional issues in engineering education and practice. 1991, Vol 117, Num 4, pp 376-382Article

Report: quest ― a security auditing toolKAPILOW, S. A; CHEREPOV, M.AT&T technical journal. 1988, Vol 67, Num 3, pp 65-71, issn 8756-2324Article

Quality assurance programs to meet CLIA requirementsINHORN, S. L; SHALKHAM, J. E; MUELLER, G. B et al.Diagnostic cytopathology. 1994, Vol 11, Num 2, pp 195-200, issn 8755-1039Article

Rehabilitation program starts by assessing line conditionFLUHARTY, H. L; FLUHARTY, J. W.Pipe line industry. 1993, Vol 76, Num 7, pp 37-43, issn 0032-0145, 5 p.Article

Progress in accelerated measles control in the people's republic of China, 1991-2000WANG LIXIA; ZENG GUANG; LEE, Lisa A et al.The Journal of infectious diseases. 2003, Vol 187, pp S252-S257, issn 0022-1899, SUP1Article

Six sigma can give contractors a quality advantageMILLER, Jim.Pharmaceutical technology. 2001, Vol 25, Num 9, pp 92-94, issn 0147-8087, 2 p.Article

Planning tools for developing comprehensive regional monitoring programsBERNSTEIN, B. B; HOENICKE, R; TYRELL, C et al.Environmental monitoring and assessment. 1997, Vol 48, Num 3, pp 297-306, issn 0167-6369Article

An evaluation of a time-saving anaesthetic machine checkout procedureBERGE, J. A; GRAMSTAD, L; GRIMNES, S et al.European journal of anaesthesiology. 1994, Vol 11, Num 6, pp 493-498, issn 0265-0215Conference Paper

Formulary control of antimicrobial usage : what price freedom : The role of the clinical microbiology laboratory and the clinical pharmacy in the management of infectious disease (ASM, 1992)DUNAGAN, W. C; MEDOFF, G.Diagnostic microbiology and infectious disease. 1993, Vol 16, Num 3, pp 265-274, issn 0732-8893Article

Automated hands-on HPLC for nonspecialistsWELLER, H. N.LC GC. 1992, Vol 10, Num 9, pp 698-704, issn 0888-9090, 5 p.Article